翻訳と辞書 Words near each other ・ epros ・ eps ・ epsilon ・ epsilon squared ・ epsimone ・ epss ・ eql ・ eqlog ・ eqn ・ equals ・ equational logic ・ equel ・ equivalence class ・ equivalence class partitioning ・ equivalence partitioning ・ equivalence relation ・ equivalent isotropically radiated power ・ er ・ era ・ erasable programmable read-only memory Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク equational logic ： FOLDOC equational logic First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. The {model theory} of this logic was developed into Universal algebra by Birkhoff et al. [Birkhoff, Gratzer, Cohn]. It was later made into a branch of {category theory} by Lawvere ("algebraic theories"). (1995-02-21) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.